Search results for "subanalytic sets"

showing 3 items of 3 documents

The Kuratowski convergence and connected components

2012

International audience; We investigate the Kuratowski convergence of the connected components of the sections of a definable set applying the result obtained to semialgebraic approximation of subanalytic sets. We are led to some considerations concerning the connectedness of the limit set in general. We discuss also the behaviour of the dimension of converging sections and prove some general facts about the Kuratowski convergence in tame geometry.

Connected componentDiscrete mathematicsSocial connectednessApplied Mathematics010102 general mathematicsDimension (graph theory)Mathematics::General Topology16. Peace & justiceKuratowski convergencesubanalytic sets01 natural sciencesKuratowski's theoremKuratowski convergence010101 applied mathematicsDefinable setMathematics::Logictame geometry0101 mathematicsLimit set[MATH]Mathematics [math]Kuratowski closure axiomsAnalysisMathematics
researchProduct

On the points realizing the distance to a definable set

2011

Abstract We prove a definable/subanalytic version of a useful lemma, presumably due to John Nash, concerning the points realizing the Euclidean distance to an analytic submanifold of R n . We present a parameter version of the main result and we discuss the properties of the multifunction obtained.

Discrete mathematicsLemma (mathematics)Applied MathematicsSubanalytic setsdefinable setsSubmanifoldsubanalytic setsEuclidean distanceAlgebraMultifunctionsDefinable setDefinable setstame geometryAnalysisTame geometryMathematicsmultifunctions
researchProduct

Characterization of the Clarke regularity of subanalytic sets

2017

International audience; In this note, we will show that for a closed subanalytic subset $A \subset \mathbb{R}^n$, the Clarke tangential regularity of $A$ at $x_0 \in A$ is equivalent to the coincidence of the Clarke's tangent cone to $A$ at $x_0$ with the set \\$$\mathcal{L}(A, x_0):= \bigg\{\dot{c}_+(0) \in \mathbb{R}^n: \, c:[0,1]\longrightarrow A\;\;\mbox{\it is Lipschitz}, \, c(0)=x_0\bigg\}.$$Where $\dot{c}_+(0)$ denotes the right-strict derivative of $c$ at $0$. The results obtained are used to show that the Clarke regularity of the epigraph of a function may be characterized by a new formula of the Clarke subdifferential of that function.

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC][ MATH ] Mathematics [math]Computer Science::Computer Science and Game Theory021103 operations researchSubanalytic setTangent coneApplied MathematicsGeneral Mathematics010102 general mathematicsTangent coneMathematical analysis0211 other engineering and technologiesSubanalytic sets02 engineering and technologyCharacterization (mathematics)16. Peace & justice01 natural sciencesMSC: Primary 49J52 46N10 58C20; Secondary 34A60Clarke regularity[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]0101 mathematics[MATH]Mathematics [math]Mathematics
researchProduct